phys_seg[nr_psegs].dev = xendev_to_physdev(req->device);
if ( phys_seg[nr_psegs].dev == 0 )
{
- DPRINTK("bad device: %04x\n", req_device);
+ DPRINTK("bad device: %04x\n", req->device);
goto bad_descriptor;
}
new_segs = 1;
#include <asm/hypervisor-ifs/kbd.h>
#include <asm/hypervisor-ifs/hypervisor-if.h>
+#define kbd_controller_present xen_kbd_controller_present
+
+static inline int xen_kbd_controller_present ()
+{
+ if( start_info.flags & SIF_CONSOLE )
+ {
+ printk("Enable keyboard\n");
+ return 1;
+ }
+ else
+ return 0;
+}
+
/* resource allocation */
#define kbd_request_region() do { } while (0)
#define kbd_request_irq(handler) request_irq(_EVENT_KBD, handler, 0, "PS/2 kbd", NULL)
static unsigned char kbd_read_input(void)
{
- //printk("kbd_read_input: returning scancode 0x%2x\n", kbd_current_scancode);
+ //xprintk("kbd_read_input: returning scancode 0x%2x\n", kbd_current_scancode);
return kbd_current_scancode;
}